https://filesoo.com/product/3769/coherence-in-categories